forward chaining

Vorm van redeneren in een kennissysteem, die begint met de feiten en eindigt met de conclusies.